(func (export "\ec\c0\80"))